- 定理證明程序
- theorem: n. 1.(能證明的)一般原理，公理，定律，法則。 2. ...
- prover: n. 1.試驗裝置。 2.【印刷】打校樣的工人。 3.〔 ...
- boyermoore theorem prover: 博耶穆爾定理證明程序
- first-order theorem prover: 一階定理證明器
- prover: n. 1.試驗裝置。 2.【印刷】打校樣的工人。 3.〔古語〕證明者。
下載手機詞典可隨時隨地查詞查翻譯
theorem prover中文什么意思
- 定理證明程序
下載手機詞典可隨時隨地查詞查翻譯
相關詞匯
相鄰詞匯
- theorem of virtual displacement 什么意思
- theorem of virtual work 什么意思
- theorem on addition of probabilities 什么意思
- theorem on embedding 什么意思
- theorem on friends and strangers 什么意思
- theorem proving 什么意思
- theorem proving machine 什么意思
- theorem proving representation 什么意思
- theorem proving technique 什么意思
- theorem work-energy 什么意思